Data Structure Fusion
نویسندگان
چکیده
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are specified using relational algebra and functional dependencies; a novel fuse operation on relational indexes specifies where the underlying physical data structure representation has sharing. We permit the user to specify different concrete shared representations for relations, and show that the semantics of the relational specification are preserved.
منابع مشابه
Detecting Surface Waters Using Data Fusion of Optical and Radar Remote Sensing Sensor
Identification and monitoring of surface water using remote sensing have become very important in recent decades due to its importance in human needs and political decisions. Therefore, surface water has been studied using remote sensing systems and Sentinel-1 and Sentinel-2 sensors in this study. In this paper, two data fusion approaches and decision fusion improve the accuracy of surface wate...
متن کاملInvestigating Factor Structure, Validity and Reliability of Thought Fusion Instrument (TFI) in Iran
Introduction: Considering the importance of fusion of thought in the persistence of symptoms of obsessive-compulsive disorder, This study was conducted to assess the validity and reliability of the TFI in Iran. Methods: In a descriptive cross-sectional study, a fusion measure was used. First, the author was allowed to use the tool and then translated into Persian. The statistical population of...
متن کاملDesigning and analyzing the structure of Tat-BoNT/A(1-448) fusion protein: An in silico approach
Clostridium botulinum type A (BoNT/A) produces a neurotoxin recently found to be useful as an injectable drug for the treatment of abnormal muscle contractions. The catalytic domain of this toxin which is responsible for the main toxin activity is a zinc metalloprotease that inhibits the release of neurotransmitter mediators in neuromuscular junctions. A cell penetrating cationic peptide, Tat, ...
متن کاملThe relationship between parental report about their children’s obsessive- compulsive disorder symptoms and thought fusion with parent-child relationship structure in adolescents with obsessive-compulsive disorder
The present study was aimed to examine the relationship between parental report about their children’s obsessive-compulsive disorder symptoms and thought fusion with the parent-child relationship structure among the adolescents with obsessive-compulsive disorder. The research method was correlational descriptive and the statistical population included all the adolescents affected by obsessive c...
متن کاملDesigning and Analyzing the Structure of DT-STXB Fusion Protein as an Anti-tumor Agent: An in Silico Approach
Background & Objective: A main contest in chemotherapy is to obtain regulator above the biodistribution of cytotoxic drugs. The utmost promising strategy comprises of drugs coupled with a tumor-targeting bearer that results in wide cytotoxic activity and particular delivery. The B-subunit of Shiga toxin (STxB) is nontoxic and possesses low immunogenicity that exactly binds to t...
متن کاملThe Investigation Factor Structure and Psychometric Properties of Short Version of Trait Thought–Shape Fusion Scale in College Students
The aim of current research has been the Investigation Factor Structure and Psychometric Properties of Short Version of Thought–Shape Fusion (TSF) Scale in College Students. In this correlation study, 204 female students of the Shahid Chamran University of Ahvaz were selected by cluster sampling method and completed the Short Version of Thought–Shape Fusion Scale(TSF) (Coelho et al, 2013), Bod...
متن کامل